|
Luigi Logrippo is a Professor of Computer Science at the Université du Québec en Outaouais (UQO). He is the principal researcher of the LOTOS group at the University Of Ottawa. Currently luigi participates in LARSI. == Research areas == Formal methods in security, privacy and governance including: *Formal specification, formal design, validation, verification, testing *Security: Enterprise data security; Access control models and methods *Legal conformance, privacy Normative systems: *Formal methods in telecom software engineering: *Process algebras, LOTOS and E-LOTOS languages *Feature interaction problem 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Luigi Logrippo」の詳細全文を読む スポンサード リンク
|